منابع مشابه
Andrew Schumann NON - ARCHIMEDEAN VALUED PREDICATE LOGIC
In this paper I propose the non-Archimedean multiple-validity. Further, I build an infinite-order predicate logical language in that predicates of various order are considered as fuzzy relations. Such a language can have non-Archimedean valued semantics. For instance, infinite-order predicates can have an interpretation in the set [0, 1] of hyperreal (hyperrational) numbers. Notice that there e...
متن کاملA Real-Valued Modal Logic
A many-valued modal logic is introduced that combines the usual Kripke frame semantics of the modal logic K with connectives interpreted locally at worlds by lattice and group operations over the real numbers. A labelled tableau system is provided and a coNEXPTIME upper bound obtained for checking validity in the logic. Focussing on the modal-multiplicative fragment, the labelled tableau system...
متن کاملAxiomatizing a Real-Valued Modal Logic
A many-valued modal logic is introduced that combines the standard (crisp) Kripke frame semantics of the modal logic K with connectives interpreted locally as abelian group operations over the real numbers. A labelled tableau system and a sequent calculus admitting cut elimination are then defined for this logic and used to establish completeness of an axiomatic extension of the multiplicative ...
متن کاملPredicate logic
Predicate logic is a sub-discipline of logic that had its roots in the last quarter of the nineteenth century, though it had to wait until the second decade of the twentieth century for a solid foundation. Like any other logic, it is concerned with the validity of arguments, though not of any kind: its interest lies in reasoning about what is universally true. As such, predicate logic is especi...
متن کاملExtension of Logic regression to Longitudinal data: Transition Logic Regression
Logic regression is a generalized regression and classification method that is able to make Boolean combinations as new predictive variables from the original binary variables. Logic regression was introduced for case control or cohort study with independent observations. Although in various studies, correlated observations occur due to different reasons, logic regression have not been studi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archive for Mathematical Logic
سال: 2017
ISSN: 0933-5846,1432-0665
DOI: 10.1007/s00153-017-0558-3